Properties of Prioritized Logic
نویسنده
چکیده
Prioritized logic programming has illustrated its rich expres-siveness and exibility in knowledge representation and reasoning. However , some important aspects of prioritized logic programs have yet to be thoroughly explored. In this paper, we investigate several properties of prioritized logic programs in the context of answer set semantics. Specifically , we propose a characterization on the uniqueness of answer set for prioritized logic programs. We then prove two splitting theorems for prioritized logic programs so that under proper conditions, the evaluation of a prioritized logic program can be reduced to the evaluation of some separate \components" of the program.
منابع مشابه
Two results for prioritized logic programming
Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between...
متن کاملA Logic for prioritized normative reasoning
In this paper we present the logic MP⊏ that explicates reasoning on the basis of prioritized obligations. Although formal criteria to handle prioritized obligations have been formulated in the literature, little attention has been paid to the actual (non-monotonic) reasoning that makes use of these criteria. The dynamic proof theory of MP⊏ fills this lacuna. This paper focuses on premise sets c...
متن کاملA Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propositional logic and the merged result of our approach is a normal possibility distribution. We also give an algorithm to obtain the syntactical counterpart of the semantic approach. The logical properties of our approach...
متن کاملPrioritized Norms and Defaults in Formal Argumentation
Deontic logic sentences define what an agent ought to do when faced with a set of norms. These norms may come into conflict such that a priority ordering over them is necessary to resolve these conflicts. Dung’s seminal paper raised the — so far open — challenge of how to use formal argumentation to represent non monotonic logics, highlighting argumentation’s value in exchanging, communicating ...
متن کاملGeneralized Hesitant Fuzzy Prioritized Einstein Aggregation Operators and Their Application in Group Decision Making
In this paper, a hesitant fuzzy multiple attribute group decision making problem where there exists prioritization relationships over the attributes and decision makers is studied. First, some Einstein operations on hesitant fuzzy elements and their properties are presented. Then, several generalized hesitant fuzzy prioritized Einstein aggregation operators, including the generalized hesitant f...
متن کامل